pave (an area) with stones